English translation for "program assertion"

请参阅程序断言

Related Translations:

assertion:  n.1.主张，断言，确言。2.维护，坚持。短语和例子stand to one's assertion 坚持己见。

extrajudicial assertion:  审判外的主张

global assertion:  全局断言

assertion database:  断言数据库

intermittent assertion:  间歇断言

assertion element:  断言元素

dynamic assertion:  动态断言动态判定

assertion checking:  断言检查 用户在程序中嵌入的断言的检查。

assertion language:  判定语言

transition assertion:  变迁断言

Example Sentences:

1.

A temporal logic is normally built atop a simpler set of atomic small - unit propositions , such as traditional program assertions ）通常，时态逻辑构建于一组更简单的原子（小单元）命题之上，如传统程序断言。

Similar Words：

"program area block" English translation, "program argument" English translation, "program arranger" English translation, "program assembly" English translation, "program assembly language" English translation, "program association table" English translation, "program assurance" English translation, "program attention key" English translation, "program audit" English translation, "program auditing" English translation